#include <xen/console.h>
#include <xen/grant_table.h>
#include <xen/guest_access.h>
+#include <xen/hypercall.h>
#include <xen/pci.h>
#include <asm/vmx.h>
#include <asm/dom_fw.h>
#include <asm/processor.h>
#include <xen/event.h>
#include <xen/console.h>
+#include <xen/hypercall.h>
#include <xen/version.h>
#include <xen/libelf.h>
#include <asm/pgalloc.h>
#include <xen/multiboot.h>
#include <xen/sched.h>
#include <xen/mm.h>
-#include <public/version.h>
+#include <xen/hypercall.h>
#include <xen/gdbstub.h>
#include <xen/version.h>
#include <xen/console.h>
#include <xen/grant_table.h>
#include <xen/iocap.h>
#include <xen/kernel.h>
+#include <xen/hypercall.h>
#include <xen/multicall.h>
#include <xen/irq.h>
#include <xen/event.h>
#include <asm/xstate.h>
#include <asm/mpspec.h>
#include <asm/ldt.h>
-#include <asm/hypercall.h>
#include <asm/fixmap.h>
#include <asm/hvm/hvm.h>
#include <asm/hvm/support.h>
#include <xen/config.h>
#include <xen/types.h>
#include <xen/guest_access.h>
-#include <asm/hypercall.h>
+#include <xen/hypercall.h>
#include <compat/vcpu.h>
#define xen_vcpu_info vcpu_info
#include <xen/paging.h>
#include <xen/nmi.h>
#include <xen/guest_access.h>
+#include <xen/hypercall.h>
#include <asm/current.h>
#include <public/nmi.h>
#include <public/version.h>
-#ifdef CONFIG_X86
-#include <asm/shared.h>
-#include <asm/setup.h>
-#endif
#ifndef COMPAT
u64 *pdone,
u64 foreigndom);
-extern long
-arch_do_vcpu_op(int cmd, struct vcpu *v, XEN_GUEST_HANDLE(void) arg);
-
#endif /* __ASM_IA64_HYPERCALL_H__ */
do_iret(
void);
-struct vcpu;
-extern long
-arch_do_vcpu_op(
- int cmd, struct vcpu *v, XEN_GUEST_HANDLE(void) arg);
-
-extern long
-arch_do_sysctl(
- struct xen_sysctl *op,
- XEN_GUEST_HANDLE(xen_sysctl_t) u_sysctl);
-
extern int
do_kexec(
unsigned long op, unsigned arg1, XEN_GUEST_HANDLE(void) uarg);
#define __X86_SETUP_H_
#include <xen/multiboot.h>
-#include <public/version.h>
extern bool_t early_boot;
extern unsigned long xenheap_initial_phys_start;
void discard_initial_images(void);
int xen_in_range(unsigned long mfn);
-void arch_get_xen_caps(xen_capabilities_info_t *info);
void microcode_grab_module(
unsigned long *, const multiboot_info_t *, void *(*)(const module_t *));
#include <public/platform.h>
#include <public/event_channel.h>
#include <public/tmem.h>
+#include <public/version.h>
#include <asm/hypercall.h>
#include <xsm/xsm.h>
do_sysctl(
XEN_GUEST_HANDLE(xen_sysctl_t) u_sysctl);
+extern long
+arch_do_sysctl(
+ struct xen_sysctl *sysctl,
+ XEN_GUEST_HANDLE(xen_sysctl_t) u_sysctl);
+
extern long
do_platform_op(
XEN_GUEST_HANDLE(xen_platform_op_t) u_xenpf_op);
int vcpuid,
XEN_GUEST_HANDLE(void) arg);
+struct vcpu;
+extern long
+arch_do_vcpu_op(int cmd,
+ struct vcpu *v,
+ XEN_GUEST_HANDLE(void) arg);
+
extern long
do_nmi_op(
unsigned int cmd,
#endif
+void arch_get_xen_caps(xen_capabilities_info_t *info);
+
#endif /* __XEN_HYPERCALL_H__ */